<html>
<head><meta charset="utf-8"><title>rustc-ty naming bikeshed / punfest (was: design meeting 2... · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html">rustc-ty naming bikeshed / punfest (was: design meeting 2...</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="189906455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906455">(Mar 06 2020 at 15:57)</a>:</h4>
<p><code>rustc-sema</code> :D</p>



<a name="189906461"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906461" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906461">(Mar 06 2020 at 15:57)</a>:</h4>
<p>rust-sea</p>



<a name="189906514"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906514" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906514">(Mar 06 2020 at 15:58)</a>:</h4>
<p>"sea"?</p>



<a name="189906516"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906516" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906516">(Mar 06 2020 at 15:58)</a>:</h4>
<p>seamantic?</p>



<a name="189906519"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906519" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906519">(Mar 06 2020 at 15:58)</a>:</h4>
<p>oh dear</p>



<a name="189906547"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906547" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906547">(Mar 06 2020 at 15:58)</a>:</h4>
<p>is that meant to be a pun? :)</p>



<a name="189906548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906548">(Mar 06 2020 at 15:58)</a>:</h4>
<p>idk, just sounds like <code>rustc</code>, we can think about the backronym later</p>



<a name="189906555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906555">(Mar 06 2020 at 15:58)</a>:</h4>
<p>I kind of love it</p>



<a name="189906574"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906574" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906574">(Mar 06 2020 at 15:58)</a>:</h4>
<p>Now I get it...</p>



<a name="189906580"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906580" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906580">(Mar 06 2020 at 15:58)</a>:</h4>
<p>Let's... not <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="189906581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906581">(Mar 06 2020 at 15:58)</a>:</h4>
<p>this is like grammer where I can't type "grammar" correctly now (without triple-checking myself)</p>



<a name="189906603"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906603" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906603">(Mar 06 2020 at 15:59)</a>:</h4>
<p>ok, great, thanks everyone for attending :)</p>



<a name="189906609"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906609" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> matklad <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906609">(Mar 06 2020 at 15:59)</a>:</h4>
<p>not forward compatible with <a href="https://darksi.de/d.sea-of-nodes/" target="_blank" title="https://darksi.de/d.sea-of-nodes/">sea of nodes</a></p>



<a name="189906614"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906614" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906614">(Mar 06 2020 at 15:59)</a>:</h4>
<p>Boring is better: rustc_ty it is? ;)</p>



<a name="189906628"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906628" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906628">(Mar 06 2020 at 15:59)</a>:</h4>
<p><span class="user-mention silent" data-user-id="133169">matklad</span> <a href="#narrow/stream/131828-t-compiler/topic/design.20meeting.202020-03-06/near/189906609" title="#narrow/stream/131828-t-compiler/topic/design.20meeting.202020-03-06/near/189906609">said</a>:</p>
<blockquote>
<p>not forward compatible with <a href="https://darksi.de/d.sea-of-nodes/" target="_blank" title="https://darksi.de/d.sea-of-nodes/">sea of nodes</a></p>
</blockquote>
<p>or <em>very</em> forwards compatible</p>



<a name="189906687"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906687" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906687">(Mar 06 2020 at 16:00)</a>:</h4>
<p>we'll be <em>drowning</em> in MIR</p>



<a name="189906885"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906885" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906885">(Mar 06 2020 at 16:01)</a>:</h4>
<p>Don't forget that when MIR was de-orbited, it was dropped into the sea ;) <a href="https://en.wikipedia.org/wiki/Deorbit_of_Mir" target="_blank" title="https://en.wikipedia.org/wiki/Deorbit_of_Mir">https://en.wikipedia.org/wiki/Deorbit_of_Mir</a></p>



<a name="189906890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906890">(Mar 06 2020 at 16:01)</a>:</h4>
<p>the MIR dump library could be called <code>pacific</code>, because that's where the MIR was dumped</p>



<a name="189906901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906901">(Mar 06 2020 at 16:01)</a>:</h4>
<p>damn! too slow</p>



<a name="189906952"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906952" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906952">(Mar 06 2020 at 16:02)</a>:</h4>
<p><span class="user-mention" data-user-id="125250">@Wesley Wiser</span> /me <em>faints</em></p>



<a name="189906969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906969">(Mar 06 2020 at 16:02)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span>  Great minds think alike lol</p>



<a name="189906974"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906974" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906974">(Mar 06 2020 at 16:02)</a>:</h4>
<p>lol, I was also researching the deorbit of MIR :D</p>



<a name="189906987"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189906987" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189906987">(Mar 06 2020 at 16:02)</a>:</h4>
<p>I'm way too slow</p>



<a name="189907071"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189907071" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189907071">(Mar 06 2020 at 16:03)</a>:</h4>
<p>definitely nowhere near orbital velocity,</p>



<a name="189907165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189907165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189907165">(Mar 06 2020 at 16:04)</a>:</h4>
<p><em>groan</em></p>



<a name="189907263"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189907263" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189907263">(Mar 06 2020 at 16:05)</a>:</h4>
<p>Hey look, it seems like there's some Rust installed on the ISS? <a href="https://github.com/rust-lang/rust/blob/master/src/etc/installer/exe/rust.iss" target="_blank" title="https://github.com/rust-lang/rust/blob/master/src/etc/installer/exe/rust.iss">https://github.com/rust-lang/rust/blob/master/src/etc/installer/exe/rust.iss</a></p>



<a name="189936162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189936162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189936162">(Mar 06 2020 at 21:26)</a>:</h4>
<p>surely there is some pun on "rusty" that has not yet been used ...</p>



<a name="189936307"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189936307" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189936307">(Mar 06 2020 at 21:28)</a>:</h4>
<p>unfortunately all I got are the lyrics to "Love Shack"</p>



<a name="189945236"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189945236" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189945236">(Mar 06 2020 at 23:32)</a>:</h4>
<p>This topic deserves another design meeting, I think</p>



<a name="189945242"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/rustc-ty%20naming%20bikeshed%20/%20punfest%20%28was%3A%20design%20meeting%202.../near/189945242" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> mark-i-m <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/rustc-ty.20naming.20bikeshed.20.2F.20punfest.20(was.3A.20design.20meeting.202.2E.2E.2E.html#189945242">(Mar 06 2020 at 23:32)</a>:</h4>
<p><span aria-label="rofl" class="emoji emoji-1f923" role="img" title="rofl">:rofl:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>